Idempotent Ultrafilters, Multiple Weak Mixing and Szemerédi’s Theorem for Generalized Polynomials

It is possible to formulate the polynomial Szemerédi theorem as follows: Let qi(x) ∈ Q[x] with qi(Z) ⊂ Z, 1 ≤ i ≤ k. If E ⊂ N has positive upper density then there are a, n ∈ N such that {a, a+q1(n)−q1(0), a+qk(n)−qk(0)} ⊂ E. Using methods of abstract ergodic theory, topological algebra in βN, and some recently-obtained knowledge concerning the relationship between translations on nilmanifolds and the distribution of bounded generalized polynomials, we prove, among other results, the following extension, valid for generalized polynomials (functions obtained from regular polynomials via iterated use of the floor function). Let qi(x) be generalized polynomials, 1 ≤ i ≤ k, and let p ∈ βN be an idempotent ultrafilter all of whose members have positive upper Banach density. Then there exist constants ci, 1 ≤ i ≤ k, such that if E ⊂ Z has positive upper Banach density then the set { n ∈ N : ∃ a ∈ Z with {a, a+ q1(n)− c1, a+ qk(n)− ck} ⊂ E }